大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 ACM Symposium on Principles of Programming Languages (4th : 1977 : Los Angeles) 的图书(共7694本)

Software Engineering 2 [electronic resource] : Specification of Systems and Languages

0
索取号:
作者:Bj酶rner、 Dines.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Genetic Programming [electronic resource] : 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings

0
索取号:
作者:Collet、 Pierre.、Tomassini、 Marco.、Ebner、 Marc.、Gustafson、 Steven.、Ek谩rt、 Anik贸.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Declarative Agent Languages and Technologies III [electronic resource] : Third International Workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005, Selected and Revised Papers

0
索取号:
作者:Baldoni、 Matteo.、Endriss、 Ulle.、Omicini、 Andrea.、Torroni、 Paolo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Programming Languages and Systems [electronic resource] : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

0
索取号:
作者:Sestoft、 Peter.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Experimental Robotics IX [electronic resource] : The 9th International Symposium on Experimental Robotics

0
索取号:
作者:Ang、 Marcelo H.、Khatib、 Oussama.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Models of Communicating Systems [electronic resource] : Languages, Automata, and Monadic Second-Order Logic

0
索取号:
作者:Bollig、 Benedikt.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Gene Expression Programming [electronic resource] : Mathematical Modeling by an Artificial Intelligence

0
索取号:
作者:Ferreira、 C芒ndida.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Hadron Collider Physics 2005 [electronic resource] : Proceedings of the 1st Hadron Collider Physics Symposium, Les Diablerets, Switzerland, July 4-9, 2005

0
索取号:
作者:Wu、 Xin.、Clark、 Allan.、Campanelli、 Mario.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Intelligent Life in the Universe [electronic resource] : Principles and Requirements Behind Its Emergence

0
索取号:
作者:Ulmschneider、 Peter.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

LATIN 2006: Theoretical Informatics [electronic resource] : 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings

0
索取号:
作者:Correa、 Jos茅 R.、Hevia、 Alejandro.、Kiwi、 Marcos.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Atlas of Confocal Laser Scanning In-vivo Microscopy in Ophthalmology [electronic resource] : Principles and Applications in Diagnostic and Therapeutic Ophthalmology

0
索取号:
作者:Guthoff、 Rudolf F.、Baudouin、 Christophe.、Stave、 Joachim.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

European Robotics Symposium 2006 [electronic resource]

0
索取号:
作者:Christensen、 Henrik I.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Logic Based Program Synthesis and Transformation [electronic resource] : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

0
索取号:
作者:Hill、 Patricia M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Programming Multi-Agent Systems [electronic resource] : Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers

0
索取号:
作者:Bordini、 Rafael H.、Dastani、 Mehdi M.、Dix、 J眉rgen.、Fallah Seghrouchni、 Amal.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Genetic Systems Programming [electronic resource] : Theory and Experiences

0
索取号:
作者:Nedjah、 Nadia.、Mourelle、 Luiza de Macedo.、Abraham、 Ajith.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computers and Games [electronic resource] : 4th International Conference, CG 2004, Ramat-Gan, Israel, July 5-7, 2004. Revised Papers

0
索取号:
作者:Herik、 H. Jaap.、Bj枚rnsson、 Yngvi.、Netanyahu、 Nathan S.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
最近添加的分类